Registers the purity extension and the checkPurity task described above, and wires the task into check. A module with an empty forbidden list is a no-op.
purity
checkPurity
check
forbidden